Offer a way to specify xml.root= through the creation of a file that is also in that
directory.
Something like a catalog file, but it specifies the default xml.root for xml files
in that directory, so that it is not necessary to specify it for each file also, as
we do in the jEdit users guide.
| Submitted | ezust - 2020-02-11 12:47:19.674000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2020-02-12 03:46:15.806000 conal_tuohy |
What do you mean by "xml.root"?
|
|---|---|
| 2020-02-12 14:07:38.974000 ezust |
For the jEdit users guide if you look at any of the .xml docbook files that is not
the root, you will see in comments, jEdit mode properties that look like this:
|